3 papers
cs.AI2026
Containment Verification: AI Safety Guarantees Independent of Alignment
Royce Moon, Lav R. Varshney
Agentic frameworks are the software layer through which AI agents act in the world. Existing safety methods intervene on the model and therefore remain conditional on unverifiable…
cs.AI2026
Combinatorial Creativity: A New Frontier in Generalization Abilities
Samuel Schapiro, Sumuk Shashidhar, Alexi Gladstone +4
Artificial intelligence (AI) systems, and Large Language Models (LLMs) in particular, are increasingly employed for creative tasks like scientific idea generation, constituting a f…
cs.AI2025
Spark: A System for Scientifically Creative Idea Generation
Aishik Sanyal, Samuel Schapiro, Sumuk Shashidhar +3
Recently, large language models (LLMs) have shown promising abilities to generate novel research ideas in science, a direction which coincides with many foundational principles in…