AI.info

Tanishka Magar

Explore Tanishka Magar on AI.info.

• ProofSketch: Efficient Verified Reasoning for Large Language Models