Jianhao Shen
10 papers · 2021–2026 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (15) π Conference Polyglot (7) π Renaissance Researcher (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (33)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π₯
Unstoppable
(5)
Conferences
EMNLP (3)
ACL (2)
AAAI (1)
COLING (1)
EACL (1)
ICLR (1)
NAACL (1)
Top co-authors
Keywords
language model
(5)
automated theorem proving
(3)
large language model
(3)
math word problem
(2)
knowledge graph completion
(2)
transfer learning
(2)
formal proof
(2)
graph classification
(1)
graph structure
(1)
contrastive learning
(1)
weak supervision
(1)
value function
(1)
monte-carlo tree search
(1)
knowledge graph embedding
(1)
supervised contrastive learning
(1)
probabilistic modeling
(1)
parameter efficient fine-tuning
(1)
question answering
(1)
proof search
(1)
semantic embedding
(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 Vision-Language STEM Skills of Neural Models
ICLR 2024
Measuring Social Norms of Large Language Models
NAACL 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023
ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision
EACL 2023
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion
EMNLP 2022
Joint Language Semantic and Structure Embedding for Knowledge Graph Completion
COLING 2022
Generate & Rank: A Multi-task Framework for Math Word Problems
EMNLP 2021