HKUST - AI4Reasoning Team

university

https://github.com/HKAIR-Lab

HKAIR-Lab

AI & ML interests

None defined yet.

Recent Activity

Anna759 authored a paper 5 days ago

WoW: Towards a World omniscient World model Through Embodied Interaction

chuxuecao authored a paper 3 months ago

Measuring Hong Kong Massive Multi-Task Language Understanding

chuxuecao authored a paper 3 months ago

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

View all activity

Anna759

authored a paper 5 days ago

WoW: Towards a World omniscient World model Through Embodied Interaction

Paper • 2509.22642 • Published 8 days ago • 8

chuxuecao

authored 3 papers 3 months 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 11 months ago

HKAIR-Lab/HK-O1aw

Text Generation • Updated Nov 6, 2024 • 2 • 7

w3en2g

updated a dataset 11 months ago

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

Viewer • Updated Nov 1, 2024 • 16k • 134 • 17

TungHoi

updated a dataset 11 months ago

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

Viewer • Updated Nov 1, 2024 • 16k • 134 • 17

w3en2g

updated a Space 11 months ago

README