Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

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

HKAIR-Lab 's datasets 1