Geodesic

Volume 57 (2023)

Table of contents

Blockchain diploma authenticity verification system using smart contract technology
p. 1-23
Fine-tuning and multilingual pre-training for abstractive summarization task for the Arabic language
p. 24-35
Formal verification for quantized neural networks
p. 36-48
P4Query: Static analyser framework for P4
p. 49-64
Logical conditions in programming languages: review, discussion and generalization
p. 65-77
Application and impact of electronic solutions in teaching programming
p. 78-91
Solving Hungarian natural language processing tasks with multilingual generative models
p. 92-106
Building machine reading comprehension model from scratch
p. 107-123