Skip to content

Pravesh Koirala

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2024–2025

Best venue rank

A

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2025SATAn Application of SAT Solvers in Integer Programming Games.Pravesh Koirala, Aditya Shrey, Forrest Laine
2024NAACLLaying Anchors: Semantically Priming Numerals in Language Modeling.Mandar Sharma, Rutuja Murlidhar Taware, Pravesh Koirala, Nikhil Muralidhar, Naren Ramakrishnan