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

WNJXYK  authored a paper 4 days ago
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
WNJXYK  authored a paper 4 days ago
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
WNJXYK  authored a paper about 2 months ago
You Only Submit One Image to Find the Most Suitable Generative Model
View all activity

Papers

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

View all Papers

LAMDA-NeSy 's Spaces 1