yuheng's picture

3 1

yuheng

joooelw

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 14 days ago

DEL-ToM: Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic

updated a dataset about 2 months ago

LLM4Code/SATBench

upvoted a paper 3 months ago

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet