Roy, Rajarshi
- NV-Embed: Improved Techniques for Training LLMs as Generalist Embedding Models
2024/05/27 by Chankyu Lee, Lee, Chankyu, Rajarshi Roy +12 · 2 voices · 106 citations
Computer Science · Social Sciences · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Law #Computation and Language (cs.CL) #FOS: Computer and information sciences #Imbalanced Data Classification Techniques #Information Retrieval (cs.IR) #Machine Learning (cs.LG) #Natural Language Processing Techniques #cs.AI #cs.CL #cs.IR #cs.LG
- Neuronal avalanches imply maximum dynamic range in cortical networks at criticality
2009/06/02 by Woodrow L. Shew, Hongdian Yang, Shew, Woodrow L. +7 · 7 citations
Neuroscience · Physics and Astronomy · #FOS: Biological sciences #Functional Brain Connectivity Studies #Neural dynamics and brain function #Neurons and Cognition (q-bio.NC) #stochastic dynamics and bifurcation
- ChatQA: Surpassing GPT-4 on Conversational QA and RAG
2024/01/18 by Zihan Liu, Liu, Zihan, Rajarshi Roy +9 · 15 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Multimodal Machine Learning Applications
- Nemotron-4 340B Technical Report
2024/06/17 by Nvidia, :, Adler, Bo +80 · 17 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Learning Interpretable Temporal Properties from Positive Examples Only
2022/09/06 by Roy, Rajarshi, Gaglione, Jean-Raphaël, Baharisangari, Nasim +3 · 2 citations
#Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.6 #Logic in Computer Science (cs.LO)
- Property-Directed Verification of Recurrent Neural Networks
2020/09/22 by Igor Khmelnitsky, Daniel Neider, Khmelnitsky, Igor +15 · 1 citation
Computer Science · #68Q60 #68T07 #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.6 #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
2021/10/13 by Ritam Raha, Rajarshi Roy, Raha, Ritam +5 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Machine Learning (cs.LG)
- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
2023/10/26 by Raha, Ritam, Roy, Rajarshi, Fijalkow, Nathanael +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Learning Branching-Time Properties in CTL and ATL via Constraint Solving
2024/06/28 by Bordais, Benjamin, Neider, Daniel, Roy, Rajarshi · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
2023/06/23 by Yash Paliwal, Paliwal, Yash, Rajarshi Roy +13 · 1 citation
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Optimization and Search Problems