Alex Aiken
10 papers · 2018–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (5) π Academic Marathon (7) π Cross-Pollinator (13)
π
Interdisciplinary Bridge
π
Conference Polyglot
(5)
π
Academic Marathon
(7)
π§¬
Topic Evolution
π
Century Club
(10)
ποΈ
Keyword Collector
(64)
π
Trend Setter
Conferences
CVPR (3)
ICML (3)
EMNLP (2)
NIPS (1)
OSDI (1)
Top co-authors
Keywords
video synthesis
(2)
distributed training
(2)
large language model
(2)
benchmark evaluation
(2)
human motion
(2)
neural network optimization
(2)
video generation
(1)
motion synthesis
(1)
semi-supervised learning
(1)
boolean satisfiability
(1)
self-supervised learning
(1)
code generation
(1)
image synthesis
(1)
video understanding
(1)
scene understanding
(1)
image harmonization
(1)
logical reasoning
(1)
program synthesis
(1)
model parallelism
(1)
human pose estimation
(1)
Papers
EquiBench: Benchmarking Large Language Modelsβ Reasoning about Program Semantics via Equivalence Checking
EMNLP 2025
Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces
ICML 2025
SATBench: Benchmarking LLMsβ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
EMNLP 2025
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters
ICML 2023
Putting People in Their Place: Affordance-Aware Human Insertion Into Scenes
CVPR 2023
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization
OSDI 2022
Programmatic Concept Learning for Human Motion Description and Synthesis
CVPR 2022
Hierarchical Motion Understanding via Motion Programs
CVPR 2021
SPoC: Search-based Pseudocode to Code
NIPS 2019
Exploring Hidden Dimensions in Accelerating Convolutional Neural Networks
ICML 2018