activity
20232026
most citedQEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

3 citations · 9 across the 18 of their papers we have counts for

collaborators
Showing cs.CVShow all

2 papers · 1 filter

cs.CV2026

Let the Abyss Stare Back Adaptive Falsification for Autonomous Scientific Discovery

Peiran Li, Fangzhou Lin, Shuo Xing +5

Autonomous scientific discovery is entering a more dangerous regime: once the evaluator is frozen, a sufficiently strong search process can learn to win the exam without learning t…

cs.CV2024

Visual Prompting in LLMs for Enhancing Emotion Recognition

Qixuan Zhang, Zhifeng Wang, Dylan Zhang +5

Vision Large Language Models (VLLMs) are transforming the intersection of computer vision and natural language processing. Nonetheless, the potential of using visual prompts for em…