Abhishek Kr Singh
- Formal verification of trading in financial markets
2019/07/18 by Suneel Sarswat, Sarswat, Suneel, Abhishek Kr Singh +1 · 1 citation
Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Computer Science and Game Theory (cs.GT) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Economics and business #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Symbolic Computation (cs.SC) #Trading and Market Microstructure (q-fin.TR)
- Assured Automatic Programming via Large Language Models
2024/10/24 by Мартин Мирчев, Mirchev, Martin, Andreea Costea +5 · 2 citations
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Healthcare #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL) #Software Engineering (cs.SE)