Jianhao Shen
10 papers · 2021–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 ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (36)
π§¬
Topic Evolution
π
Century Club Β· Bronze
π₯
Unstoppable Β· Bronze
ποΈ
Keyword Collector
(52)
Top co-authors
Research topics
Machine Learning
(7)
Artificial Intelligence
(6)
Core AI
(5)
Deep Learning
(4)
Natural Language Processing
(4)
Core Methods
(4)
Learning Types Β· Machine Learning
(4)
Knowledge & Reasoning
(3)
Learning Types Β· Deep Learning
(3)
Application Areas
(2)
Architectures
(2)
Generation
(2)
Models
(2)
Representation
(2)
Resources & Methods
(2)
Keywords
language model
(5)
large language model
(3)
automated theorem proving
(3)
transfer learning
(2)
knowledge graph completion
(2)
pre-trained language model
(2)
formal proof
(2)
math word problem
(2)
graph classification
(1)
weak supervision
(1)
contrastive learning
(1)
graph structure
(1)
value function
(1)
monte carlo tree search
(1)
supervised contrastive learning
(1)
question answering
(1)
probabilistic modeling
(1)
semantic embedding
(1)
foundation model
(1)
knowledge transfer
(1)
Papers
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026
Cluster-guided Contrastive Class-imbalanced Graph Classification
AAAI 2025
Measuring Social Norms of Large Language Models
NAACL 2024
Measuring Vision-Language STEM Skills of Neural Models
ICLR 2024
ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision
EACL 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
Joint Language Semantic and Structure Embedding for Knowledge Graph Completion
COLING 2022
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion
EMNLP 2022
Generate & Rank: A Multi-task Framework for Math Word Problems
EMNLP 2021