adya y

phirni

4 2

·

phirni

AI & ML interests

None yet

Recent Activity

upvoted a paper 15 days ago

Is Evaluation Awareness Just Format Sensitivity? Limitations of Probe-Based Evidence under Controlled Prompt Structure

liked a Space 3 months ago

lm-provers/qed-nano-blogpost

View all activity

Organizations

liked a Space 3 months ago

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

Who needs 1T parameters? Olympiad proofs with a 4B model

liked a model 4 months ago

meta-llama/Llama-3.2-3B-Instruct

Text Generation • 3B • Updated Oct 24, 2024 • 1.63M • • 2.73k