Michael Carbin

Identifiers

• name variant Michael Carbin 0.60 · backfill

Papers (45)

1. Retrieval Capabilities of Large Language Models Scale with Pretraining FLOPs cs.LG · 2025 · author #5
2. FreshStack: Building Realistic Benchmarks for Evaluating Retrieval on Technical Documents cs.IR · 2025 · author #4
3. Learning to Keep a Promise: Scaling Language Model Decoding Parallelism with Learned Asynchronous Decoding cs.CL · 2025 · author #9
4. Drowning in Documents: Consequences of Scaling Reranker Inference cs.IR · 2024 · author #4
5. Long Context RAG Performance of Large Language Models cs.LG · 2024 · author #5
6. Inference Plans for Hybrid Particle Filtering cs.PL · 2024 · author #5
7. Learning to Compile Programs to Neural Networks cs.LG · 2024 · author #4
8. BioMedLM: A 2.7B Parameter Language Model Trained On Biomedical Text cs.CL · 2024 · author #10
9. The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation cs.PL · 2023 · author #2
10. The Cost of Down-Scaling Language Models: Fact Recall Deteriorates before In-Context Learning cs.CL · 2023 · author #5
11. Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs cs.PL · 2023 · author #3
12. Verifying Performance Properties of Probabilistic Inference cs.PL · 2023 · author #5
13. Quantum Control Machine: The Limits of Control Flow in Quantum Programming cs.PL · 2023 · author #3
14. Computably Continuous Reinforcement-Learning Objectives are PAC-learnable cs.LG · 2023 · author #3
15. Pruning's Effect on Generalization Through the Lens of Training and Regularization cs.LG · 2022 · author #2
16. Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming cs.PL · 2022 · author #5
17. Tower: Data Structures in Quantum Superposition cs.PL · 2022 · author #2
18. Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs cs.PL · 2022 · author #3
19. SCOPE: Safe Exploration for Dynamic Computer Systems Optimization eess.SY · 2022 · author #4
20. Cello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored Regression cs.LG · 2022 · author #4
21. Programming with Neural Surrogates of Programs cs.PL · 2021 · author #3
22. On the (In)Tractability of Reinforcement Learning for LTL Objectives cs.AI · 2021 · author #3
23. Statically Bounded-Memory Delayed Sampling for Probabilistic Streams cs.PL · 2021 · author #5
24. Studying the Consistency and Composability of Lottery Ticket Pruning Masks cs.CV · 2021 · author #3
25. Programming and Reasoning with Partial Observability cs.PL · 2021 · author #2
26. The Lottery Tickets Hypothesis for Supervised and Self-supervised Pre-training in Computer Vision Models cs.LG · 2020 · author #6
27. DiffTune: Optimizing CPU Simulator Parameters with Learned Differentiable Surrogates cs.LG · 2020 · author #4
28. Pruning Neural Networks at Initialization: Why are We Missing the Mark? cs.LG · 2020 · author #4
29. The Lottery Ticket Hypothesis for Pre-trained BERT Networks cs.LG · 2020 · author #7
30. Simplifying Dependent Reductions in the Polyhedral Model cs.PL · 2020 · author #3
31. $\lambda_S$: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes cs.PL · 2020 · author #3
32. On the Predictability of Pruning Across Scales cs.LG · 2020 · author #3
33. TIRAMISU: A Polyhedral Compiler for Dense and Sparse Deep Learning cs.DC · 2020 · author #7
34. Comparing Rewinding and Fine-tuning in Neural Network Pruning cs.LG · 2020 · author #3
35. Linear Mode Connectivity and the Lottery Ticket Hypothesis cs.LG · 2019 · author #4
36. Reactive Probabilistic Programming cs.PL · 2019 · author #6
37. Stabilizing the Lottery Ticket Hypothesis cs.LG · 2019 · author #4
38. Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms cs.AR · 2018 · author #3
39. Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks cs.DC · 2018 · author #4
40. Verifying Programs Under Custom Application-Specific Execution Models cs.PL · 2018 · author #3
41. Verifying Handcoded Probabilistic Inference Procedures cs.PL · 2018 · author #3
42. Computable decision making on the reals and other spaces via partiality and nondeterminism cs.LO · 2018 · author #4
43. The Three Pillars of Machine Programming cs.AI · 2018 · author #4
44. The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks cs.LG · 2018 · author #2
45. Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography cs.SE · 2012 · author #2

Mentions

• 2508.17400 #5 · arxiv_oai · confidence 0.70 Michael Carbin
• 2411.11767 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2504.13128 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2408.11283 #5 · arxiv_oai · confidence 0.70 Michael Carbin
• 2411.03538 #5 · arxiv_oai · confidence 0.70 Michael Carbin
• 2407.15078 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2311.12772 #2 · arxiv_oai · confidence 0.70 Michael Carbin
• 2403.18421 #10 · arxiv_oai · confidence 0.70 Michael Carbin
• 2304.15000 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2309.11726 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2307.07355 #5 · arxiv_oai · confidence 0.70 Michael Carbin
• 2303.05518 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2209.07490 #5 · arxiv_oai · confidence 0.70 Michael Carbin
• 2210.13738 #2 · arxiv_oai · confidence 0.70 Michael Carbin
• 2205.10255 #2 · arxiv_oai · confidence 0.70 Michael Carbin
• 2111.12679 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2205.02287 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2204.10451 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2204.04831 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2109.12473 #5 · arxiv_oai · confidence 0.70 Michael Carbin
• 2112.06148 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2006.10621 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 1803.07244 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2104.14753 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2007.08017 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2012.06908 #6 · arxiv_oai · confidence 0.70 Michael Carbin
• 2009.08576 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2007.11203 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 2101.04742 #2 · arxiv_oai · confidence 0.70 Michael Carbin
• 2010.04017 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2007.12223 #7 · arxiv_oai · confidence 0.70 Michael Carbin
• 1903.01611 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 1912.05671 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 2005.04091 #7 · arxiv_oai · confidence 0.70 Michael Carbin
• 1908.07563 #6 · arxiv_oai · confidence 0.70 Michael Carbin
• 2003.02389 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 1808.07412 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 1803.03635 #2 · arxiv_oai · confidence 0.70 Michael Carbin
• 1809.05859 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 1805.06090 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 1805.01863 #3 · arxiv_oai · confidence 0.70 Michael Carbin
• 1805.00468 #4 · arxiv_oai · confidence 0.70 Michael Carbin
• 1202.0359 #2 · arxiv_oai · confidence 0.70 Michael Carbin
• 2502.11517 #9 · arxiv_oai · confidence 0.70 Michael Carbin
• 2310.04680 #5 · arxiv_oai · confidence 0.70 Michael Carbin
• 1202.0359 #2 · backfill · confidence 0.70 Michael Carbin

Frequent Coauthors

• Jonathan Frankle 11 shared papers
• Alex Renda 8 shared papers
• Eric Atkinson 8 shared papers
• Charles Yuan 6 shared papers
• Gintare Karolina Dziugaite 5 shared papers
• Guillaume Baudart 5 shared papers
• Louis Mandel 5 shared papers
• Cambridge Yang 4 shared papers
• Daniel M. Roy 4 shared papers
• Yi Ding 4 shared papers
• Benjamin Sherman 3 shared papers
• Ellie Y. Cheng 3 shared papers
• Saman Amarasinghe 3 shared papers
• Tian Jin 3 shared papers
• Ahsan Pervaiz 2 shared papers
• Andrew Drozdov 2 shared papers
• Charith Mendis 2 shared papers
• Henry Hoffmann 2 shared papers
• Jacob Portes 2 shared papers
• Jesse Michel 2 shared papers