Researchers have developed ProofJudge, a tool that uses an artificial intelligence model to evaluate the quality of formal mathematical proofs in Lean...
Researchers have developed a large language model (LLM) agent system called MAESTRO that can automate the entire process of discovering new materials....
Researchers have developed a testbed to evaluate the behavior of large-language-model (LLM) agents in a social setting. They ran an experiment where L...
Researchers have developed an artificial intelligence approach to identify edible oils using Raman spectroscopy. They used a combination of machine le...
A new system called AEGIS aims to prevent malicious agents from abusing resources in large language model (LLM) systems. The Model Context Protocol (M...
Researchers have studied the traffic patterns generated by multi-agent systems that use large language models (LLMs). These systems create internal re...
Meta's Service Health Checker is a system that monitors the health of thousands of services in production. It uses templated metric queries and thresh...
Researchers have developed a web-based platform that combines raw data from MR-guided radiotherapy with a deep-learning processing pipeline to provide...
Researchers have developed an AI system that can grade handwritten physics assessments with high accuracy. The system used a variant of the GPT-5.5 mo...
ExploraTwin is an open-access research platform for testing and deploying digital twin simulations. It allows researchers to upload surveys or create ...
Researchers have developed a new method for reconstructing MRI images quickly and efficiently. The Consistency Models for Fast MRI Reconstruction Usin...
A new method for diagnosing failures in long-horizon security language models has been proposed. These models struggle to carry information and decisi...