← Search

Chencheng Tang

2 accepted papers

2025

PHYBench: Holistic Evaluation of Physical Perception and Reasoning in Large Language Models

NeurIPS 2025poster

Current benchmarks for evaluating the reasoning capabilities of Large Language Models (LLMs) face significant limitations: task oversimplification, data contamination, and flawed evaluation items. These deficiencies necessitate more rigorous assessment methods. To address these limitations, we intro…

Cited by 0SourceScholar
2024

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks

IROS 2024poster

Formal verification of robotic tasks requires a simple yet conformant model of the used robot. We present the first work on generating reachset conformant models for robotic contact tasks considering hybrid (mixed continuous and discrete) dynamics. Reachset conformance requires that the set of reach…

Cited by 0SourceScholar