Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
HKUST - AI4Reasoning Team
university
https://github.com/HKAIR-Lab
HKAIR-Lab
Activity Feed
Follow
16
AI & ML interests
None defined yet.
Recent Activity
chuxuecao
authored
a paper
10 days ago
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
chuxuecao
submitted
a paper
11 days ago
Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
chuxuecao
authored
a paper
13 days ago
LRAS: Advanced Legal Reasoning with Agentic Search
View all activity
Team members
5
HKAIR-Lab
's models
1
Sort: Recently updated
HKAIR-Lab/HK-O1aw
Text Generation
•
Updated
Nov 6, 2024
•
5
•
7
