3 papers
cs.CL2026
Verbalized Algorithms: Classical Algorithms are All You Need (Mostly)
Supriya Lall, Christian Farrell, Hari Pathanjaly +3
Reasoning is a fundamentally algorithmic task. Yet current work on LLM-based reasoning relies on free-form generation whose theoretical guarantees (soundness, completeness, complex…
cs.AI2026
"Don't Do That!": Guiding Embodied Systems through Large Language Model-based Constraint Generation
Amin Seffo, Aladin Djuhera, Masataro Asai +1
Recent advancements in large language models (LLMs) have spurred interest in robotic navigation that incorporates complex spatial, mathematical, and conditional constraints from na…
cs.CR2025
Hybrid Privilege Escalation and Remote Code Execution Exploit Chains
Miguel Tulla, Andrea Vignali, Christian Colon +5
Research on exploit chains predominantly focuses on sequences with one type of exploit, e.g., either escalating privileges on a machine or executing remote code. In networks, hybri…