iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/abs-2403-13700.xml
Reynald Affeldt Alessandro Bruni Ekaterina Komendantskaya Natalia Slusarz Kathrin Stark Taming Differentiable Logics with Coq Formalisation. 2024 abs/2403.13700 CoRR https://doi.org/10.48550/arXiv.2403.13700 db/journals/corr/corr2403.html#abs-2403-13700