BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Martin Vechev
SearchCollections
Map detail
Martin Vechev29 visible / 29 total nodes / 80 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMartin VechevAMartin VechevResearcherEvery Bit, Everywhere, All at Once: A Binomial Multibit LLM WatermarkWEvery Bit, Everywhere, ...preprint / 2026Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond CorrectnessWNot All Proofs Are Equa...preprint / 2026Widening the Gap: Exploiting LLM Quantization via Outlier InjectionWWidening the Gap: Explo...preprint / 2026Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMsWBeyond Benchmarks: Math...preprint / 2026Robin StaabARobin StaabResearcherMark VeroAMark VeroResearcherIvo PetrovAIvo PetrovResearcherJasper DekoninckAJasper DekoninckResearcherXiaohua ZhanAXiaohua ZhanResearcherKazuki EgashiraAKazuki EgashiraResearcherThibaud GloaguenAThibaud GloaguenResearcherDimitar I. DimitrovADimitar I. DimitrovResearcherNikola JovanovićANikola JovanovićResearcherTim GehrungerATim GehrungerResearcherKári RögnvaldssonAKári RögnvaldssonResearcherChenhao SunAChenhao SunResearcherArtificial IntelligenceTArtificial Intelligence22915 worksComputation and LanguageTComputation and Language14115 worksMachine LearningTMachine Learning49008 worksCryptography and SecurityTCryptography and Security7258 worksAdversarial Robustness for CodeWAdversarial Robustness ...preprint / 2020Optimal Learning of Specifications from ExamplesWOptimal Learning of Spe...preprint / 2016Fair Normalizing FlowsWFair Normalizing Flowspreprint / 2022On Distribution Shift in Learning-based Bug DetectorsWOn Distribution Shift i...preprint / 2022Scalable Certified Segmentation via Randomized SmoothingWScalable Certified Segm...preprint / 2022Robustness Certification of Generative ModelsWRobustness Certificatio...preprint / 2020Universal Approximation with Certified NetworksWUniversal Approximation...preprint / 2020A Provable Defense for Deep Residual NetworksWA Provable Defense for ...preprint / 2020
Person22 links

Martin Vechev

Researcher

PersonRobin StaabCo-authorship / ResearcherPersonMark VeroCo-authorship / ResearcherPersonIvo PetrovCo-authorship / ResearcherPersonJasper DekoninckCo-authorship / ResearcherPersonXiaohua ZhanCo-authorship / ResearcherPersonKazuki EgashiraCo-authorship / ResearcherPersonThibaud GloaguenCo-authorship / ResearcherPersonDimitar I. DimitrovCo-authorship / Researcher

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)