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.

Ashutosh Trivedi
SearchCollections
Map detail
Ashutosh Trivedi19 visible / 19 total nodes / 42 links

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

Related contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAshutosh TrivediAAshutosh TrivediResearcherKV-Fold: One-Step KV-Cache Recurrence for Long-Context InferenceWKV-Fold: One-Step KV-Ca...preprint / 2026Patrick CooperAPatrick CooperResearcherAlvaro VelasquezAAlvaro VelasquezResearcherAlireza NadaliAAlireza NadaliResearcherMachine LearningTMachine Learning49008 worksArtificial IntelligenceTArtificial Intelligence22915 worksComputation and LanguageTComputation and Language14115 worksSecure-by-Construction Synthesis of Cyber-Physical SystemsWSecure-by-Construction ...preprint / 2022Reachability-time games on timed automataWReachability-time games...preprint / 2009Average-Time Games on Timed AutomataWAverage-Time Games on T...preprint / 2009Symmetric Strategy ImprovementWSymmetric Strategy Impr...preprint / 2015Hybrid Automata for Formal Modeling and Verification of Cyber-Physical SystemsWHybrid Automata for For...preprint / 2015Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical SystemsWProceedings of the The ...preprint / 2016Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning LibrariesWDetecting and Understan...preprint / 2020Data-Driven Debugging for Functional Side ChannelsWData-Driven Debugging f...preprint / 2020On the Robustness of Fairness Practices: A Causal Framework for Systematic EvaluationWOn the Robustness of Fa...preprint / 2026On The Reachability Problem for Recursive Hybrid Automata with One and Two PlayersWOn The Reachability Pro...preprint / 2014First-order definable string transformationsWFirst-order definable s...preprint / 2014
Person18 links

Ashutosh Trivedi

Researcher

PaperKV-Fold: One-Step KV-Cache Recurrence for Long-Context InferenceAuthorship / preprint / 2026PersonPatrick CooperCo-authorship / ResearcherPersonAlvaro VelasquezCo-authorship / ResearcherPersonAlireza NadaliCo-authorship / ResearcherTopicMachine LearningWorks on / 49008 worksTopicArtificial IntelligenceWorks on / 22915 worksTopicComputation and LanguageWorks on / 14115 worksPaperSecure-by-Construction Synthesis of Cyber-Physical SystemsAuthorship / preprint / 2022

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)