8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Ontology-to-tools compilation for executable semantic constraint enforcement in LLM agents
Xiaochi Zhou, Patrick Bulter, Changxuan Yang +5
We introduce ontology-to-tools compilation as a proof-of-principle mechanism for coupling large language models (LLMs) with formal domain knowledge. Within The World Avatar (TWA),…
math.NA2005★ 8 cited
A quantitative investigation into the accumulation of rounding errors in the numerical solution of ODEs
Sebastian Mosbach, Amanda G. Turner
We examine numerical rounding errors of some deterministic solvers for systems of ordinary differential equations (ODEs). We show that the accumulation of rounding errors results i…