LongEmotion

AI & ML interests

None defined yet.

Recent Activity

menik1126  submitted a paper 4 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

Team members 2