Ivan Tyukin
- Feasibility of random basis function approximators for modeling and control
2009/05/05 by Ivan Tyukin, Danil Prokhorov, Tyukin, Ivan +1 · 1 citation
Computer Science · Physics and Astronomy · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning and ELM #Model Reduction and Neural Networks #Neural Networks and Applications #Neural and Evolutionary Computing (cs.NE)
- StepProof: Step-by-step verification of natural language mathematical proofs
2025/06/12 by Xiaolin Hu, Qinghua Zhou, Hu, Xiaolin +5 · 3 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Formal Methods in Verification