AI.info

Disha Sheshanarayana

Explore Disha Sheshanarayana on AI.info.

• ProofSketch: Efficient Verified Reasoning for Large Language Models