Les Valiant
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Enhanced and Efficient Reasoning in Large Language Models | The Role of TCS in Modern Machine Learning | 2026-05-26 |
Proposes a two-stage pipeline that first recodes text into a Unary Relational Integracode (expand each entity into ~4 local Boolean/embedding slots) and then… | ||
| Out-of-Distribution Generalization as Reasoning: Are LLMs Competitive? | Emerging Generalization Settings 2024 | 2024-09-09 |
Proposes a concrete alternative to LLM-first reasoning: learn boolean relational recognizers and chain them with probabilistic soundness so if components are… | ||
| Complexity and Diversity | 50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing | 2021-02-11 |
Argues that modular counting for SAT resists one-shot determinant-style reductions by combining counting with linear algebra constraints: the Grassmann‑Plücker… | ||
| Capacity of Neural Networks for Lifelong Learning of Composable Tasks | Computational Theories of the Brain 2018 | 2018-04-16 |
Proposes a concrete neural circuit model using a random graph spike-timing model with parameters N (neurons), D (fan‑out), K (synaptic strength) and R (neurons… | ||
| nothing matches | ||