Picture for Clark Barrett

Clark Barrett

Stanford University

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4

Add code
Oct 21, 2024
Viaarxiv icon

Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection

Add code
Sep 04, 2024
Figure 1 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Figure 2 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Figure 3 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Figure 4 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Viaarxiv icon

Safe and Reliable Training of Learning-Based Aerospace Controllers

Add code
Jul 09, 2024
Figure 1 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Figure 2 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Figure 3 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Viaarxiv icon

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Add code
May 22, 2024
Viaarxiv icon

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Add code
May 10, 2024
Viaarxiv icon

Markovian Agents for Truthful Language Modeling

Add code
Apr 29, 2024
Viaarxiv icon

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Add code
Jan 25, 2024
Figure 1 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 2 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 3 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Viaarxiv icon

Towards Efficient Verification of Quantized Neural Networks

Add code
Dec 27, 2023
Viaarxiv icon

Efficiently Programming Large Language Models using SGLang

Add code
Dec 12, 2023
Viaarxiv icon

Clover: Closed-Loop Verifiable Code Generation

Add code
Oct 26, 2023
Viaarxiv icon