Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
R-APS: Compositional Reasoning and In-Context Meta-Learning for Constrained Design via Reflective Adversarial Pareto Search
João Pedro Gandarela, Thiago Rios, Stefan Menzel +1
Large language models (LLMs) are fluent on open-ended tasks, yet in agentic settings, where a system must plan, use tools, and act over extended horizons, fluency does not ensure r…
cs.AI2026
Language Models Refine Mechanical Linkage Designs Through Symbolic Reflection and Modular Optimisation
João Pedro Gandarela, Thiago Rios, Stefan Menzel +1
Designing mechanical linkages involves combinatorial topology selection and continuous parameter fitting. We show that language models can systematically improve linkage designs th…
cs.AI2026
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
Jordan Meadows, Lan Zhang, Andre Freitas
Formalising informal mathematical reasoning into formally verifiable code is a significant challenge for large language models. In scientific fields such as physics, domain-specifi…