Showing 2026Show all
2 papers · 1 filter
cs.CL2026
A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
Hayden Moore, Suman Saha, Mahfuza Farooque
Future planetary exploration envisions autonomous robotic agents operating under severe communication constraints, without global positioning, and with minimal human intervention.…
cs.CR2026
Trojans in Artificial Intelligence (TrojAI) Final Report
Kristopher W. Reese, Taylor Kulp-McDowall, Michael Majurski +68
The Intelligence Advanced Research Projects Activity (IARPA) launched the TrojAI program to confront an emerging vulnerability in modern artificial intelligence: the threat of AI T…