23 citations
- Stanford UniversityUS6 papers
- University of MinnesotaUS3 papers
- American University of BeirutLB2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Laboratoire Jacques-Louis LionsFR2 papers
- Microsoft (United States)US2 papers
- National University of SingaporeSG2 papers
- Sorbonne UniversitéFR2 papers
- University of California, IrvineUS2 papers
- University of Minnesota SystemUS2 papers
- Arizona State UniversityUS1 paper
- Australian National UniversityAU1 paper
25 papers
2.5-D Decomposition for LLM-Based Spatial Construction
Paul Whitten, Li-Jen Chen, Sharath Baddam
Autonomous systems that build structures from natural-language instructions need reliable spatial reasoning, yet large language models (LLMs) make systematic coordinate errors when…
Humanity's Last Exam
Long Phan, Alice Gatti, Ziwen Han +1144
Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achi…
A 2022 -Herculid meteor cluster from an airborne experiment: automated detection, characterization, and consequences for meteoroids
J. Vaubaillon, C. Loir, C. Ciocan +12
Context. The existence of meteor clusters has long since been a subject of speculation and so far only seven events have been reported, among which two involve less than five meteo…
On Implementing Real-time Specification Patterns Using Observers
John D. Backes, Michael W. Whalen, Andrew Gacek +1
English language requirements are often used to specify the behavior of complex cyber-physical systems. The process of transforming these requirements to a formal specification lan…
From Design Contracts to Component Requirements Verification
Jing Liu, John D. Backes, Darren Cofer +1
During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a…
Requirements Analysis of a Quad-Redundant Flight Control System
John Backes, Darren Cofer, Steven Miller +1
In this paper we detail our effort to formalize and prove requirements for the Quad-redundant Flight Control System (QFCS) within NASA's Transport Class Model (TCM). We use a compo…