Asymptotic Logical Uncertainty and The Benford Test. - Scott Garrabrant; Siddharth Bhaskar; Abram Demski; Joanna Garrabrant; George Koleszarik; Evan Lloyd (CoRR, 2015)

Recursion versus Tail Recursion over Abstract Structures. - Siddharth Bhaskar (2015)

Asymptotic Logical Uncertainty and the Benford Test. - Scott Garrabrant; Tsvi Benson-Tilsen; Siddharth Bhaskar; Abram Demski; Joanna Garrabrant; George Koleszarik; Evan Lloyd (AGI, 2016)

Model-theoretic dividing lines in least fixed-point logic over finite structures. - Siddharth Bhaskar; Alex Kruckman (CoRR, 2017)

A Difference in Complexity Between Recursion and Tail Recursion. - Siddharth Bhaskar (Theory Comput. Syst., 2017)

Recursion versus tail recursion over ‾𝔽p. - Siddharth Bhaskar (J. Log. Algebraic Methods Program., 2018)

Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions. - Siddharth Bhaskar; Jane Chandlee; Adam Jardine; Christopher Oakden (LATA, 2020)

Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. - Neil D. Jones; Siddharth Bhaskar; Cynthia Kop; Jakob Grue Simonsen (VPT/HCVS@ETAPS, 2020)

Graph Traversals as Universal Constructions. - Siddharth Bhaskar; Robin Kaarsgaard (MFCS, 2021)

A refinement of the Meyer-McCreight Union Theorem. - Siddharth Bhaskar (Electron. Colloquium Comput. Complex., 2021)

Thicket density. - Siddharth Bhaskar (J. Symb. Log., 2021)

Tameness in least fixed-point logic and McColm's conjecture. - Siddharth Bhaskar; Alex Kruckman (Log. Methods Comput. Sci., 2021)

Rational functions via recursive schemes. - Siddharth Bhaskar; Jane Chandlee; Adam Jardine (CoRR, 2023)

Read/write factorizable programs. - Siddharth Bhaskar; Jakob Grue Simonsen (J. Funct. Program., 2023)

Subclasses of Ptime Interpreted by Programming Languages. - Siddharth Bhaskar; Cynthia Kop; Jakob Grue Simonsen (Theory Comput. Syst., 2023)

Traversal-Invariant Characterizations of Logarithmic Space. - Siddharth Bhaskar; Steven Lindell; Scott Weinstein (Tannen's Festschrift, 2024)

Transfinite Structured Programming. - Siddharth Bhaskar (CiE, 2025)