Aditya Verma
- posts
- AI and Turing Machines
- Notes from Fooled by Randomness
- Links
- Introduction to Type Systems
- Understanding Injecting Knowledge Graph Embeddings into RAG Architectures
- LLM Hallucination Detection: A Survey
- A Survey of Knowledge Graph Approaches for LLM Hallucination Detection
- Understanding Knowledge Graph Structure and Embeddings
- Some initial thoughts on Paper 'Cold-Start Learning In Recommender Systems Using Monte Carlo Tree Search'
- Thoughts on 'Between min cost search and least action'
- Computational Logic and Probabilistic Systems: An overview
- Chess Fundamentals
- Notes on Lambda Calculus: Evaluation and Church Numerals
- Undecidability
- Context-Free Grammars and Pushdown Automata
- Finite Automata, Regex, Regular Languages
- Stoicism: Stoic Training Program
- Logic Gates
- Theorems on NFA, and Related Online Resources
- Non-Deterministic Finite Machines
- Finite State Machines
- github