From ridge functions to neural networks II.
Seminář / přednáška From ridge functions to neural networks II..
Computational Content of a Generalized Kreisel-Putnam Rule
Seminář / přednáška Computational Content of a Generalized Kreisel-Putnam Rule.
GPT et al.: Generating Texts with Transformer-Based Large Language Models.
Seminář / přednáška GPT et al.: Generating Texts with Transformer-Based Large Language Models..
Zero-cost proxies for neural network performance estimation.
Seminář / přednáška Zero-cost proxies for neural network performance estimation..
Promise Model Checking Problems over a Fixed Model
Seminář / přednáška Promise Model Checking Problems over a Fixed Model.
Computability of Neural Network Problems.
Seminář / přednáška Computability of Neural Network Problems..
How to compute uniform interpolant semantically
Seminář / přednáška How to compute uniform interpolant semantically.
A Simplified Lower Bound on Intuitionistic Implicational Proofs
Seminář / přednáška A Simplified Lower Bound on Intuitionistic Implicational Proofs.
TNL: Numerical library for modern parallel architectures.
Seminář / přednáška TNL: Numerical library for modern parallel architectures..