pith. sign in

Vijay Ganesh

Identifiers

  • name variant Vijay Ganesh 0.60 · backfill

Papers (26)

  1. Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification cs.SE · 2026 · author #6
  2. Symbolic Regression via Latent Iterative Refinement cs.LG · 2026 · author #3
  3. Understanding CDCL Solvers via Scalability Studies and Proofdoors cs.LO · 2026 · author #6
  4. MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs cs.LG · 2026 · author #6
  5. SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set cs.LO · 2026 · author #5
  6. Symbolic Density Estimation: A Decompositional Approach cs.LG · 2026 · author #3
  7. Report for NSF Workshop on AI for Electronic Design Automation cs.LG · 2026 · author #2
  8. Towards AI-assisted Neutrino Flavor Theory Design hep-ph · 2025 · author #3
  9. Extended Resolution Clause Learning via Dual Implication Points cs.LO · 2024 · author #3
  10. Interpolating Strong Induction cs.LO · 2019 · author #3
  11. A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples cs.LO · 2018 · author #4
  12. Enumeration of Complex Golay Pairs via Programmatic SAT cs.LO · 2018 · author #4
  13. The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability cs.LO · 2018 · author #2
  14. Relating Complexity-theoretic Parameters with SAT Solver Performance cs.AI · 2017 · author #7
  15. Z3str3: A String Solver with Theory-aware Branching cs.LO · 2017 · author #3
  16. Reasoning about Probabilistic Defense Mechanisms against Remote Attacks cs.CR · 2017 · author #5
  17. Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions cs.CR · 2016 · author #3
  18. A Solver for a Theory of Strings and Bit-vectors cs.LO · 2016 · author #5
  19. Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion cs.LO · 2016 · author #1
  20. Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers cs.LO · 2015 · author #2
  21. SAT-based Analysis of Large Real-world Feature Models is Easy cs.SE · 2015 · author #2
  22. The Meaning of Attack-Resistant Systems cs.CR · 2015 · author #1
  23. (Un)Decidability Results for Word Equations with Length and Regular Expression Constraints cs.LO · 2013 · author #1
  24. STP/HAMPI and Computer Security cs.CR · 2012 · author #1
  25. Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography cs.SE · 2012 · author #1
  26. ARBAC Policy for a Large Multi-National Bank cs.CR · 2011 · author #2

Mentions

  • 1506.08905 #2 · backfill · confidence 0.70 Vijay Ganesh
  • 1506.05198 #2 · backfill · confidence 0.70 Vijay Ganesh
  • 2606.03593 #6 · arxiv_oai · confidence 0.70 Vijay Ganesh
  • 1502.04023 #1 · backfill · confidence 0.70 Vijay Ganesh
  • 1306.6054 #1 · backfill · confidence 0.70 Vijay Ganesh
  • 2605.27245 #3 · arxiv_oai · confidence 0.70 Vijay Ganesh
  • 2406.14190 #3 · arxiv_oai · confidence 0.70 Vijay Ganesh
  • 1204.2989 #1 · backfill · confidence 0.70 Vijay Ganesh
  • 1202.0359 #1 · backfill · confidence 0.70 Vijay Ganesh
  • 1110.2849 #2 · backfill · confidence 0.70 Vijay Ganesh
  • 2605.15506 #6 · arxiv_oai · confidence 0.70 Vijay Ganesh

Frequent Coauthors