From artificial neurons to artificial intelligence.
Seminář / přednáška From artificial neurons to artificial intelligence..
Formalizing fragments of ZFfin in Isabelle/HOL
Seminář / přednáška Formalizing fragments of ZFfin in Isabelle/HOL.
How to turn a Transformer model into a modern LLM? Instruct, RLHF, RAG, and others.
Seminář / přednáška How to turn a Transformer model into a modern LLM? Instruct, RLHF, RAG, and others..
Fine grained analysis of conservative Maltsev CSP
Seminář / přednáška Fine grained analysis of conservative Maltsev CSP.
Conformal Predictors meet Active Learning: Adaptive Systems for Efficient Industrial Monitoring in Non-Stationary Environments
Seminář / přednáška Conformal Predictors meet Active Learning: Adaptive Systems for Efficient Industrial Monitoring in Non-Stationary Environments.
Finite embeddability via nuclear and conuclear images
Seminář / přednáška Finite embeddability via nuclear and conuclear images.
On Viable Computation and Trustworthy AI.
Seminář / přednáška On Viable Computation and Trustworthy AI..
Evolving Prompt Embeddings of Diffusion Models for Optimization and Exploration of Synthetic Images
Seminář / přednáška Evolving Prompt Embeddings of Diffusion Models for Optimization and Exploration of Synthetic Images.
Generalization in Attention-Based Neural Networks: Solvable High-Dimensional Models.
Seminář / přednáška Generalization in Attention-Based Neural Networks: Solvable High-Dimensional Models..