Hugging Face's logo

NJU-IRP
university
https://www.lamda.nju.edu.cn/guolz
LAMDASZ-ML
Activity Feed Request to join this org

AI & ML interests

Intelligent Reasoning & Planning

Recent Activity

Cbphcr  updated a Space about 1 month ago
LAMDA-NeSy/ChinaTravel
Cbphcr  updated a dataset about 1 month ago
LAMDA-NeSy/ChinaTravel
WNJXYK  authored a paper about 2 months ago
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
View all activity

Papers

A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning

View all Papers

LAMDA-NeSy 's models

None public yet