Balaji Rao

kings-crown's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper 4 days ago

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification

Paper • 2504.17017 • Published Apr 23, 2025

submitted a paper to Daily Papers 5 days ago

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

Paper • 2603.14628 • Published 13 days ago • 3

authored 2 papers 5 days ago

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

Paper • 2603.14628 • Published 13 days ago • 3

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

Paper • 2603.14628 • Published 13 days ago • 3