Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.
Abstract: In adversarial environments, unmanned aerial vehicle (UAV) swarms often face challenges such as node failures, battle damage, and strong electromagnetic interference, which may result in ...
Abstract: In order to achieve precise and robust tracking control of electronic throttle (ET) systems subject to external disturbances and uncertainties, a novel 2-order discrete-time fast terminal ...
Suggested Citation: "4 Quantum Computing's Implications for Cryptography." National Academies of Sciences, Engineering, and Medicine. 2019. Quantum Computing ...
Feb. 2, 2026 NASA’s Perseverance rover has just made history by driving across Mars using routes planned by artificial intelligence instead of human operators. A vision-capable AI analyzed the same ...
We present a variation of RRT* that can explore and exploit the search space (SE) in parallel using many-core GPUs, efficiently producing an initial path that is collision-free, kinematically ...
There was an error while loading. Please reload this page.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results