Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

chuxuecao  authored a paper 1 minute ago
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
chuxuecao  submitted a paper about 12 hours ago
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
chuxuecao  authored a paper 3 days ago
LRAS: Advanced Legal Reasoning with Agentic Search
View all activity

HKAIR-Lab 's models 1