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 10 days ago

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory

WNJXYK authored a paper 10 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 models

None public yet