HKUST - AI4Reasoning Team

HKAIR-Lab's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

chuxuecao 

authored a paper 11 days ago

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

Paper • 2601.22642 • Published 14 days ago • 9

chuxuecao 

submitted a paper to Daily Papers 11 days ago

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification

Paper • 2601.22642 • Published 14 days ago • 9

chuxuecao 

authored 2 papers 14 days ago

LRAS: Advanced Legal Reasoning with Agentic Search

Paper • 2601.07296 • Published Jan 12 • 3

MedInsightBench: Evaluating Medical Analytics Agents Through Multi-Step Insight Discovery in Multimodal Medical Data

Paper • 2512.13297 • Published Dec 15, 2025

Anna759 

authored a paper 5 months ago

WoW: Towards a World omniscient World model Through Embodied Interaction

Paper • 2509.22642 • Published Sep 26, 2025 • 15

chuxuecao 

authored 3 papers 8 months ago

Measuring Hong Kong Massive Multi-Task Language Understanding

Paper • 2505.02177 • Published May 4, 2025 • 1

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

Paper • 2506.17104 • Published Jun 20, 2025 • 2

SafeLawBench: Towards Safe Alignment of Large Language Models

Paper • 2506.06636 • Published Jun 7, 2025 • 1

w3en2g 

updated a model over 1 year ago

HKAIR-Lab/HK-O1aw

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

w3en2g 

updated a dataset over 1 year ago

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

Viewer • Updated Nov 1, 2024 • 16k • 27 • 18

TungHoi 

updated a dataset over 1 year ago

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

Viewer • Updated Nov 1, 2024 • 16k • 27 • 18

w3en2g 

updated a Space over 1 year ago

Configuration error

README

🚀