Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

menik1126  submitted a paper 21 days ago
MMFormalizer: Multimodal Autoformalization in the Wild
menik1126  authored a paper 3 months ago
ATTS: Asynchronous Test-Time Scaling via Conformal Prediction
menik1126  authored a paper 3 months ago
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
View all activity

Papers

LongEmotion: Measuring Emotional Intelligence of Large Language Models in Long-Context Interaction

View all Papers

longemotion1 's models

None public yet