1.73K subscribers
15.5K photos
10 videos
16 files
8.38K links
ArXiv Papers Related to Computer Science, AI, Deep Learning, Computer Vision, NLP, etc

Admins:
@ffarzaddh
Download Telegram
Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience


πŸ—’ Dependently Typed Folds for Nested Data Types
πŸ‘₯ Peng Fu, Peter Selinger
πŸ“— PDF


πŸ—’ Parameter-Independent Strategies for pMDPs via POMDPs
πŸ‘₯ Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
πŸ“— PDF


πŸ—’ TTT2 with Termination Templates for Teaching
πŸ‘₯ Jonas SchΓΆpf, Christian Sternagel
πŸ“— PDF


πŸ—’ Subspace-Invariant AC$^0$ Formulas
πŸ‘₯ Benjamin Rossman
πŸ“— PDF


πŸ—’ Goal-Oriented Conjecturing for Isabelle/HOL
πŸ‘₯ Yutaka Nagashima, Julian Parsert
πŸ“— PDF


πŸ—’ Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
πŸ‘₯ Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
πŸ“— PDF


πŸ—’ Learning Linear Temporal Properties
πŸ‘₯ Daniel Neider, Ivan Gavran
πŸ“— PDF


πŸ—’ Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
πŸ‘₯ Fabian Kunze, Gert Smolka, Yannick Forster
πŸ“— PDF


πŸ—’ Formalization of Lerch's Theorem using HOL Light
πŸ‘₯ Adnan Rashid, Osman Hasan
πŸ“— PDF


πŸ—’ Maximizing the Number of Satisfied L-clauses
πŸ‘₯ Mohamed El Halaby, Areeg Abdalla
πŸ“— PDF


πŸ—’ Specification of State and Time Constraints for Runtime Verification of Functions
πŸ‘₯ Joshua Heneage Dawes, Giles Reger
πŸ“— PDF


πŸ—’ Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
πŸ‘₯ Kuldeep S. Meel
πŸ“— PDF


πŸ—’ Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
πŸ‘₯ Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
πŸ“— PDF


πŸ—’ Dynamic Ordered Weighted Averaging Functions for Complete Lattices
πŸ‘₯ Antonio Diego S. Farias, Regivan H. N. Santiago, BenjamΓ­n Bedregal
πŸ“— PDF


πŸ—’ A New Style of Mathematical Proof
πŸ‘₯ William M. Farmer
πŸ“— PDF


#LogicinComputerScience
AI Python & arXiv Channel