pith. sign in

Supratik Chakraborty

Identifiers

  • name variant Supratik Chakraborty 0.60 · backfill

Papers (24)

  1. Latent Performance Profiling of Large Language Models cs.CL · 2026 · author #6
  2. Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability cs.PL · 2026 · author #2
  3. Knowledge Compilation for Quantification in Alternating Automata cs.LO · 2026 · author #3
  4. On-the-fly LTLf Synthesis under Partial Observability cs.LO · 2026 · author #2
  5. Functional Synthesis via Input-Output Separation cs.LO · 2018 · author #1
  6. What's hard about Boolean Functional Synthesis cs.LO · 2018 · author #2
  7. Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision cs.PL · 2018 · author #3
  8. Verifying Array Manipulating Programs by Tiling cs.SE · 2017 · author #1
  9. On Petri Nets with Hierarchical Special Arcs cs.LO · 2017 · author #2
  10. Towards Parallel Boolean Functional Synthesis cs.LO · 2017 · author #2
  11. Matching Multiplications in Bit-Vector Formulas cs.LO · 2016 · author #1
  12. Constrained Sampling and Counting: Universal Hashing Meets SAT Solving cs.AI · 2015 · author #3
  13. Approximate Probabilistic Inference via Word-Level Counting cs.AI · 2015 · author #1
  14. Skolem Functions for Factored Formulas cs.LO · 2015 · author #3
  15. Word-level Symbolic Trajectory Evaluation cs.LO · 2015 · author #1
  16. Distribution-Aware Sampling and Weighted Model Counting for SAT cs.AI · 2014 · author #1
  17. Balancing Scalability and Uniformity in SAT Witness Generator cs.LO · 2014 · author #1
  18. A Generalization of the {\L}o\'s-Tarski Preservation Theorem over Classes of Finite Structures cs.LO · 2014 · author #3
  19. A Scalable Approximate Model Counter cs.LO · 2013 · author #1
  20. A Scalable and Nearly Uniform Generator of SAT Witnesses cs.LO · 2013 · author #1
  21. Generalizations of the Los-Tarski Preservation Theorem cs.LO · 2013 · author #3
  22. Preservation under Substructures modulo Bounded Cores cs.LO · 2012 · author #5
  23. Determinization of $\omega$-automata unified cs.FL · 2011 · author #2
  24. On Semantic Generalizations of the Bernays-Sch\"onfinkel-Ramsey Class with Finite or Co-finite Spectra cs.LO · 2010 · author #2

Mentions

  • 1511.07663 #1 · backfill · confidence 0.70 Supratik Chakraborty
  • 1508.05497 #3 · backfill · confidence 0.70 Supratik Chakraborty
  • 1505.07916 #1 · backfill · confidence 0.70 Supratik Chakraborty
  • 1404.2984 #1 · backfill · confidence 0.70 Supratik Chakraborty
  • 1403.6246 #1 · backfill · confidence 0.70 Supratik Chakraborty
  • 1401.5953 #3 · backfill · confidence 0.70 Supratik Chakraborty
  • 2605.30018 #6 · arxiv_oai · confidence 0.70 Supratik Chakraborty
  • 1306.5726 #1 · backfill · confidence 0.70 Supratik Chakraborty
  • 1304.1584 #1 · backfill · confidence 0.70 Supratik Chakraborty
  • 1302.4350 #3 · backfill · confidence 0.70 Supratik Chakraborty
  • 2605.24263 #2 · arxiv_oai · confidence 0.70 Supratik Chakraborty
  • 1205.1358 #5 · backfill · confidence 0.70 Supratik Chakraborty
  • 1101.1841 #2 · backfill · confidence 0.70 Supratik Chakraborty
  • 1002.4334 #2 · backfill · confidence 0.70 Supratik Chakraborty

Frequent Coauthors