Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

HKUST - AI4Reasoning Team

university
https://github.com/HKAIR-Lab
HKAIR-Lab
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

chuxuecao  authored a paper 29 days ago
Measuring Hong Kong Massive Multi-Task Language Understanding
chuxuecao  authored a paper 29 days ago
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
chuxuecao  authored a paper 29 days ago
SafeLawBench: Towards Safe Alignment of Large Language Models
View all activity

Chuxue Cao's profile picture Sirui Han's profile picture Donghai's profile picture Bertram's profile picture vera zhu's profile picture

chuxuecao 
authored 3 papers 29 days ago

Measuring Hong Kong Massive Multi-Task Language Understanding

Paper • 2505.02177 • Published May 4

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving

Paper • 2506.17104 • Published Jun 20 • 1

SafeLawBench: Towards Safe Alignment of Large Language Models

Paper • 2506.06636 • Published Jun 7
w3en2g 
updated a model 9 months ago

HKAIR-Lab/HK-O1aw

Text Generation • Updated Nov 6, 2024 • 16 • 7
w3en2g 
updated a dataset 9 months ago

HKAIR-Lab/HK-O1aw-SFT-16K

Viewer • Updated Nov 1, 2024 • 16k • 73 • 17
TungHoi 
updated a dataset 9 months ago

HKAIR-Lab/HK-O1aw-SFT-16K

Viewer • Updated Nov 1, 2024 • 16k • 73 • 17
w3en2g 
updated a Space 9 months ago
Configuration error

README

🚀

Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs