Jin Peng Zhou
12 papers · 2023–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Bronze π Conference Polyglot Β· Silver πΊοΈ Taxonomy Completionist (30) π Grand Slam ποΈ Keyword Collector (58)
β
The Questioner
π
Trend Setter
π
Century Club Β· Bronze
Top co-authors
Research topics
Artificial Intelligence
(8)
Machine Learning
(8)
Core AI
(8)
Learning Types
(6)
Deep Learning
(4)
Natural Language Processing
(4)
Resources & Methods
(4)
Optimization & Theory
(3)
Computer Vision
(2)
Analysis
(2)
Applications
(2)
Models
(2)
Security & Privacy
(1)
Application Areas
(1)
Architectures
(1)
Keywords
large language model
(5)
mathematical reasoning
(3)
automated theorem proving
(2)
multi-armed bandit
(2)
generative model
(2)
out-of-distribution detection
(2)
matrix factorization
(1)
anomaly detection
(1)
contrastive learning
(1)
object detection
(1)
theorem proving
(1)
model evaluation
(1)
information retrieval
(1)
item response theory
(1)
reward modeling
(1)
knowledge unlearning
(1)
llm evaluation
(1)
hyperparameter optimization
(1)
model editing
(1)
program synthesis
(1)
Papers
Detecting Out-of-Distribution Objects through Class-Conditioned Inpainting
WACV 2026
K-12EduBench: A Benchmark for Evaluating Large Language Modelsβ Knowledge, Problem-Solving, and Educational Goal Cognition in K-12 Education
AAAI 2026
Graders Should Cheat: Privileged Information Enables Expert-Level Automated Evaluations
EMNLP 2025
On Speeding Up Language Model Evaluation
ICLR 2025
Rethinking LLM Unlearning Objectives: A Gradient Perspective and Go Beyond
ICLR 2025
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
NeurIPS 2024
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
ICLR 2024
Magnushammer: A Transformer-Based Approach to Premise Selection
ICLR 2024
REFACTOR: Learning to Extract Theorems from Proofs
ICLR 2024
Does Label Differential Privacy Prevent Label Inference Attacks?
AISTATS 2023
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
ICLR 2023
Unsupervised Out-of-Distribution Detection with Diffusion Inpainting
ICML 2023