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
5 of Latest Published Articles:
Computational Engineering, Finance, and Science
#ComputationalEngineeringFinanceandScience


πŸ—’ Memory footprint reduction for the FFT-based volume integral equation method via tensor decompositions
πŸ‘₯ Ilias I. Giannakopoulos, Mikhail S. Litsarev, Athanasios G. Polimeridis
πŸ“— PDF


πŸ—’ AMPS: A Real-time Mesh Cutting Algorithm for Surgical Simulations
πŸ‘₯ Yu-Hong Yeung, Alex Pothen, Jessica Crouch
πŸ“— PDF


πŸ—’ Exploring Parallel-in-Time Approaches for Eddy Current Problems
πŸ‘₯ Stephanie Friedhoff, Jens Hahne, Iryna Kulchytska-Ruchka, Sebastian SchΓΆps
πŸ“— PDF


πŸ—’ Modelling visual-vestibular integration and behavioural adaptation in the driving simulator
πŸ‘₯ Gustav Markkula, Richard Romano, Rachel Waldram, Oscar Giles, Callum Mole, Richard Wilkie
πŸ“— PDF


πŸ—’ Application of Clustering Methods to Anomaly Detection in Fibrous Media
πŸ‘₯ Denis Dresvyanskiy, Tatiana Karaseva, Sergei Mitrofanov, Claudia Redenbach, Stefanie Schwaar, Vitalii Makogin, Evgeny Spodarev
πŸ“— PDF


#ComputationalEngineeringFinanceandScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Computational Geometry
#ComputationalGeometry


πŸ—’ Multilevel Planarity
πŸ‘₯ Lukas Barth, Guido BrΓΌckner, Paul Jungeblut, Marcel Radermacher
πŸ“— PDF


πŸ—’ Tabby: Explorable Design for 3D Printing Textures
πŸ‘₯ Ryo Suzuki, Koji Yatani, Mark D. Gross, Tom Yeh
πŸ“— PDF


πŸ—’ Coresets for $k$-Means and $k$-Median Clustering and their Applications
πŸ‘₯ Sariel Har-Peled, Soham Mazumdar
πŸ“— PDF


πŸ—’ Computational geometry and the U.S. Supreme Court
πŸ‘₯ Noah Giansiracusa, Cameron Ricciardi
πŸ“— PDF


πŸ—’ Better approximation algorithm for point-set diameter
πŸ‘₯ Mahdi Imanparast, Seyed Naser Hashemi
πŸ“— PDF


#ComputationalGeometry
AI Python & arXiv Channel
5 of Latest Published Articles:
Computation and Language
#ComputationandLanguage


πŸ—’ The Natural Auditor: How To Tell If Someone Used Your Words To Train Their Model
πŸ‘₯ Congzheng Song, Vitaly Shmatikov
πŸ“— PDF


πŸ—’ A bird's-eye view on coherence, and a worm's-eye view on cohesion
πŸ‘₯ Woon Sang Cho, Pengchuan Zhang, Yizhe Zhang, Xiujun Li, Michel Galley, Mengdi Wang, Jianfeng Gao
πŸ“— PDF


πŸ—’ Multilingual NMT with a language-independent attention bridge
πŸ‘₯ RaΓΊl VΓ‘zquez, Alessandro Raganato, JΓΆrg Tiedemann, Mathias Creutz
πŸ“— PDF


πŸ—’ A Corpus for Reasoning About Natural Language Grounded in Photographs
πŸ‘₯ Alane Suhr, Stephanie Zhou, Iris Zhang, Huajun Bai, Yoav Artzi
πŸ“— PDF


πŸ—’ Unsupervised Dual-Cascade Learning with Pseudo-Feedback Distillation for Query-based Extractive Summarization
πŸ‘₯ Haggai Roitman, Guy Feigenblat, David Konopnicki, Doron Cohen, Odellia Boni
πŸ“— PDF


#ComputationandLanguage
AI Python & arXiv Channel
5 of Latest Published Articles:
Cryptography and Security
#CryptographyandSecurity


πŸ—’ The Natural Auditor: How To Tell If Someone Used Your Words To Train Their Model
πŸ‘₯ Congzheng Song, Vitaly Shmatikov
πŸ“— PDF


πŸ—’ Semi-Finite Length Analysis for Information Theoretic Tasks
πŸ‘₯ Masahito Hayashi
πŸ“— PDF


πŸ—’ Encryption-then-Compression Systems using Grayscale-based Image Encryption for JPEG Images
πŸ‘₯ Tatsuya Chuman, Warit Sirichotedumrong, Hitoshi Kiya
πŸ“— PDF


πŸ—’ Formally Verified Hardware/Software Co-Design for Remote Attestation
πŸ‘₯ Karim Eldefrawy, Ivan O. Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
πŸ“— PDF


πŸ—’ Improving ICS Cyber Resilience through Optimal Diversification of Network Resources
πŸ‘₯ Tingting Li, Cheng Feng, Chris Hankin
πŸ“— PDF


#CryptographyandSecurity
AI Python & arXiv Channel
5 of Latest Published Articles:
Computer Vision and Pattern Recognition
#ComputerVisionandPatternRecognition


πŸ—’ Out of the Box: Reasoning with Graph Convolution Nets for Factual Visual Question Answering
πŸ‘₯ Medhini Narasimhan, Svetlana Lazebnik, Alexander G. Schwing
πŸ“— PDF


πŸ—’ Navigation by Imitation in a Pedestrian-Rich Environment
πŸ‘₯ Jing Bi, Tianyou Xiao, Qiuyue Sun, Chenliang Xu
πŸ“— PDF


πŸ—’ Improving CNN Training using Disentanglement for Liver Lesion Classification in CT
πŸ‘₯ Avi Ben-Cohen, Roey Mechrez, Noa Yedidia, Hayit Greenspan
πŸ“— PDF


πŸ—’ A Corpus for Reasoning About Natural Language Grounded in Photographs
πŸ‘₯ Alane Suhr, Stephanie Zhou, Iris Zhang, Huajun Bai, Yoav Artzi
πŸ“— PDF


πŸ—’ Hybrid Pruning: Thinner Sparse Networks for Fast Inference on Edge Devices
πŸ‘₯ Xiaofan Xu, Mi Sun Park, Cormac Brick
πŸ“— PDF


#ComputerVisionandPatternRecognition
AI Python & arXiv Channel
5 of Latest Published Articles:
Computers and Society
#ComputersandSociety


πŸ—’ Improving risk management by using smart containers for real-time traceability
πŸ‘₯ Siraprapa Wattanakul, SΓ©bastien Henry, Mohand Lounes Bentaha, Napaporn Reeveerakul, Yacine Ouzrout
πŸ“— PDF


πŸ—’ A Decision Support Framework for Manufacturing Improvement and Relocation Prevention in Thailand: Supply Chain Perspective
πŸ‘₯ Napaporn Reeveerakul, Ridha Derrouiche, Nopasit Chakpitak, Yacine Ouzrout, Napat Harnpornchai, Abdelaziz Bouras
πŸ“— PDF


πŸ—’ Towards a more efficient use of process and product traceability data for continuous improvement of industrial performances
πŸ‘₯ Thierno Diallo, SΓ©bastien Henry, Yacine Ouzrout
πŸ“— PDF


πŸ—’ Enforcing public data archiving policies in academic publishing: A study of ecology journals
πŸ‘₯ Dan Sholler, Karthik Ram, Carl Boettiger, Daniel S. Katz
πŸ“— PDF


πŸ—’ JavaScript Convolutional Neural Networks for Keyword Spotting in the Browser: An Experimental Analysis
πŸ‘₯ Jaejun Lee, Raphael Tang, Jimmy Lin
πŸ“— PDF


#ComputersandSociety
AI Python & arXiv Channel
5 of Latest Published Articles:
Databases
#Databases


πŸ—’ Gradual Machine Learning for Entity Resolution
πŸ‘₯ Boyi Hou, Qun Chen, Yanyan Wang, Ping Zhong, Ahmed Murtadha, Zhaoqiang Chen, Zhanhuai Li
πŸ“— PDF


πŸ—’ Efficient Taxonomic Similarity Joins with Adaptive Overlap Constraint
πŸ‘₯ Pengfei Xu, Jiaheng Lu
πŸ“— PDF


πŸ—’ Studio e confronto delle strutture di Apache Spark
πŸ‘₯ Massimiliano Morrelli
πŸ“— PDF


πŸ—’ VDMS: An Efficient Big-Visual-Data Access for Machine Learning Workloads
πŸ‘₯ Luis Remis, Vishakha Gupta-Cledat, Christina Strong, Ragaad Altarawneh
πŸ“— PDF


πŸ—’ Sub-O(log n) Out-of-Order Sliding-Window Aggregation
πŸ‘₯ Kanat Tangwongsan, Martin Hirzel, Scott Schneider
πŸ“— PDF


#Databases
AI Python & arXiv Channel
5 of Latest Published Articles:
Distributed, Parallel, and Cluster Computing
#DistributedParallelandClusterComputing


πŸ—’ Distributed ReliefF based Feature Selection in Spark
πŸ‘₯ Raul-Jose Palma-Mendoza, Daniel Rodriguez, Luis de-Marcos
πŸ“— PDF


πŸ—’ OpenCL Performance Prediction using Architecture-Independent Features
πŸ‘₯ Beau Johnston, Greg Falzon, Josh Milthorpe
πŸ“— PDF


πŸ—’ Democratizing Production-Scale Distributed Deep Learning
πŸ‘₯ Minghuang Ma, Hadi Pour Ansari, Daniel Chao, Saurabh Adya, Santiago Akle, Yi Qin, Dan Gimnicher, Dominic Walsh
πŸ“— PDF


πŸ—’ Making root cause analysis feasible for large code bases: a solution approach for a climate model
πŸ‘₯ Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser
πŸ“— PDF


πŸ—’ A Concurrent Unbounded Wait-Free Graph
πŸ‘₯ Sathya Peri, Chandra Kiran Reddy, Muktikanta Sa
πŸ“— PDF


#DistributedParallelandClusterComputing
AI Python & arXiv Channel
5 of Latest Published Articles:
Digital Libraries
#DigitalLibraries


πŸ—’ Interdisciplinarity: A Nobel Opportunity
πŸ‘₯ Michael Szell, Yifang Ma, Roberta Sinatra
πŸ“— PDF


πŸ—’ A bibliometric tool to assess the regional dimension of university-industry research collaborations
πŸ‘₯ Giovanni Abramo, Ciriaco Andrea D'Angelo, Marco Solazzi
πŸ“— PDF


πŸ—’ An individual-level assessment of the relationship between spin-off activities and research performance in universities
πŸ‘₯ Giovanni Abramo, Ciriaco Andrea D'Angelo, Marco Ferretti, Adele Parmentola
πŸ“— PDF


πŸ—’ Revisiting the scaling of citations for research assessment
πŸ‘₯ Giovanni Abramo, Tindaro Cicero, Ciriaco Andrea D'Angelo
πŸ“— PDF


πŸ—’ What is the appropriate length of the publication period over which to assess research performance?
πŸ‘₯ Giovanni Abramo, Ciriaco Andrea D'Angelo, Tindaro Cicero
πŸ“— PDF


#DigitalLibraries
AI Python & arXiv Channel
5 of Latest Published Articles:
Discrete Mathematics
#DiscreteMathematics


πŸ—’ A Boolean Functions Theoretic Approach to Quantum Hypergraph States and Entanglement
πŸ‘₯ Supriyo Dutta
πŸ“— PDF


πŸ—’ On the gaps of the spectrum of volumes of trades
πŸ‘₯ Denis S. Krotov
πŸ“— PDF


πŸ—’ Generation of random chordal graphs using subtrees of a tree
πŸ‘₯ Oylum Şeker, Pinar Heggernes, TΔ±naz Ekim, Z. Caner TaşkΔ±n
πŸ“— PDF


πŸ—’ Parameterized Complexity of Equitable Coloring
πŸ‘₯ Guilherme de C. M. Gomes, Carlos V. G. C. Lima, VinΓ­cius F. dos Santos
πŸ“— PDF


πŸ—’ Improved Bounds for Randomly Sampling Colorings via Linear Programming
πŸ‘₯ Sitan Chen, Michelle Delcourt, Ankur Moitra, Guillem Perarnau, Luke Postle
πŸ“— PDF


#DiscreteMathematics
AI Python & arXiv Channel
5 of Latest Published Articles:
Data Structures and Algorithms
#DataStructuresandAlgorithms


πŸ—’ Recovery Guarantees for Quadratic Tensors with Limited Observations
πŸ‘₯ Hongyang Zhang, Vatsal Sharan, Moses Charikar, Yingyu Liang
πŸ“— PDF


πŸ—’ Testing Halfspaces over Rotation-Invariant Distributions
πŸ‘₯ Nathaniel Harms
πŸ“— PDF


πŸ—’ Stochastic Submodular Cover with Limited Adaptivity
πŸ‘₯ Arpit Agarwal, Sepehr Assadi, Sanjeev Khanna
πŸ“— PDF


πŸ—’ A Two Query Adaptive Bitprobe Scheme Storing Five Elements
πŸ‘₯ Mirza Galib Anwarul Husain Baig, Deepanjan Kesh, Chirag Sodani
πŸ“— PDF


πŸ—’ Multilevel Planarity
πŸ‘₯ Lukas Barth, Guido BrΓΌckner, Paul Jungeblut, Marcel Radermacher
πŸ“— PDF


#DataStructuresandAlgorithms
AI Python & arXiv Channel
5 of Latest Published Articles:
Emerging Technologies
#EmergingTechnologies


πŸ—’ Reservoir computing with dipole coupled nanomagnets array
πŸ‘₯ Hikaru Nomura, Ferdinand Peper, Eiiti Tamura, Shinji Miwa, Minori Goto, Kazuki Tsujimoto, Yuki Kuwabiraki, Taishi Furuta, Ryoichi Nakatani, Yoshishige Suzuki
πŸ“— PDF


πŸ—’ Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks
πŸ‘₯ Keenan Breik, Cameron Chalk, David Doty, David Haley, David Soloveichik
πŸ“— PDF


πŸ—’ Parallel Entangling Operations on a Universal Ion Trap Quantum Computer
πŸ‘₯ C. Figgatt, A. Ostrander, N. M. Linke, K. A. Landsman, D. Zhu, D. Maslov, C. Monroe
πŸ“— PDF


πŸ—’ A Distributed Epigenetic Shape Formation and Regeneration Algorithm for a Swarm of Robots
πŸ‘₯ Rahul Shivnarayan Mishra, Tushar Semwal, Shivashankar B. Nair
πŸ“— PDF


πŸ—’ Use of Magnetoresistive Random-Access Memory as Approximate Memory for Training Neural Networks
πŸ‘₯ Nicolas Locatelli, Adrien F. Vincent, Damien Querlioz
πŸ“— PDF


#EmergingTechnologies
AI Python & arXiv Channel
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory


πŸ—’ Computing the Width of Non-deterministic Automata
πŸ‘₯ Denis Kuperberg, Anirban Majumdar
πŸ“— PDF


πŸ—’ Decidable Verification of Uninterpreted Programs
πŸ‘₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
πŸ“— PDF


πŸ—’ The isomorphism problem for tree-automatic ordinals with addition
πŸ‘₯ Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan
πŸ“— PDF


πŸ—’ Multirobot Coordination with Counting Temporal Logics
πŸ‘₯ Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
πŸ“— PDF


πŸ—’ Visibly Pushdown Languages and Free Profinite Algebras
πŸ‘₯ Silke Czarnetzki, Andreas Krebs, Klaus-JΓΆrn Lange
πŸ“— PDF


#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
General Literature
#GeneralLiterature


πŸ—’ The anatomy of Reddit: An overview of academic research
πŸ‘₯ Alexey N. Medvedev, Renaud Lambiotte, Jean-Charles Delvenne
πŸ“— PDF


πŸ—’ Human Indignity: From Legal AI Personhood to Selfish Memes
πŸ‘₯ Roman V. Yampolskiy
πŸ“— PDF


πŸ—’ Towards a classification of Lindenmayer systems
πŸ‘₯ Diego Krivochen, Douglas Saddy
πŸ“— PDF


πŸ—’ Big Data: the End of the Scientific Method?
πŸ‘₯ Sauro Succi, Peter V. Coveney
πŸ“— PDF


πŸ—’ Navigating Diverse Data Science Learning: Critical Reflections Towards Future Practice
πŸ‘₯ Yehia Elkhatib
πŸ“— PDF


#GeneralLiterature
AI Python & arXiv Channel
5 of Latest Published Articles:
Graphics
#Graphics


πŸ—’ AMPS: A Real-time Mesh Cutting Algorithm for Surgical Simulations
πŸ‘₯ Yu-Hong Yeung, Alex Pothen, Jessica Crouch
πŸ“— PDF


πŸ—’ CariGANs: Unpaired Photo-to-Caricature Translation
πŸ‘₯ Kaidi Cao, Jing Liao, Lu Yuan
πŸ“— PDF


πŸ—’ Tabby: Explorable Design for 3D Printing Textures
πŸ‘₯ Ryo Suzuki, Koji Yatani, Mark D. Gross, Tom Yeh
πŸ“— PDF


πŸ—’ Automatic Graphics Program Generation using Attention-Based Hierarchical Decoder
πŸ‘₯ Zhihao Zhu, Zhan Xue, Zejian Yuan
πŸ“— PDF


πŸ—’ Content-Preserving Image Stitching with Regular Boundary Constraints
πŸ‘₯ Yun Zhang, Yu-Kun Lai, Fang-Lue Zhang
πŸ“— PDF


#Graphics
AI Python & arXiv Channel
5 of Latest Published Articles:
Computer Science and Game Theory
#ComputerScienceandGameTheory


πŸ—’ Social Learning with Questions
πŸ‘₯ Grant Schoenebeck, Shih-Tang Su, Vijay Subramanian
πŸ“— PDF


πŸ—’ Deep Counterfactual Regret Minimization
πŸ‘₯ Noam Brown, Adam Lerer, Sam Gross, Tuomas Sandholm
πŸ“— PDF


πŸ—’ An Improved Algorithm for Computing Approximate Equilibria in Weighted Congestion Games
πŸ‘₯ Yiannis Giannakopoulos, Georgy Noarov, Andreas S. Schulz
πŸ“— PDF


πŸ—’ Evolutionarily Stable Preferences Against Multiple Mutations
πŸ‘₯ Yu-Sung Tu, Wei-Torng Juang
πŸ“— PDF


πŸ—’ Designing Refund Bonus Schemes for Provision Point Mechanism in Civic Crowdfunding
πŸ‘₯ Sankarshan Damle, Moin Hussain Moti, Sujit Gujar, Praphul Chandra
πŸ“— PDF


#ComputerScienceandGameTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Human-Computer Interaction
#HumanComputerInteraction


πŸ—’ A Process-driven View on Summative Evaluation of Visual Analytics Solutions
πŸ‘₯ Mosab Khayat, Arif Ghafoor
πŸ“— PDF


πŸ—’ A speech-based driver assisting module for Intelligent Transport System
πŸ‘₯ Himangshu Sarma, Navanath Saharia
πŸ“— PDF


πŸ—’ Designing Informative Rating Systems for Online Platforms: Evidence from Two Experiments
πŸ‘₯ Nikhil Garg, Ramesh Johari
πŸ“— PDF


πŸ—’ Tabby: Explorable Design for 3D Printing Textures
πŸ‘₯ Ryo Suzuki, Koji Yatani, Mark D. Gross, Tom Yeh
πŸ“— PDF


πŸ—’ The Responsibility Quantification (ResQu) Model of Human Interaction with Automation
πŸ‘₯ Nir Douer, Joachim Meyer
πŸ“— PDF


#HumanComputerInteraction
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Retrieval
#InformationRetrieval


πŸ—’ Clustered Monotone Transforms for Rating Factorization
πŸ‘₯ Gaurush Hiranandani, Raghav Somani, Oluwasanmi Koyejo, Sreangsu Acharyya
πŸ“— PDF


πŸ—’ SIEVE: Helping Developers Sift Wheat from Chaff via Cross-Platform Analysis
πŸ‘₯ Agus Sulistya, Gede Artha Azriadi Prana, Abhishek Sharma, David Lo, Christoph Treude
πŸ“— PDF


πŸ—’ Query Adaptive Late Fusion for Image Retrieval
πŸ‘₯ Zhongdao Wang, Liang Zheng, Shengjin Wang
πŸ“— PDF


πŸ—’ Quantum-inspired classical algorithms for principal component analysis and supervised clustering
πŸ‘₯ Ewin Tang
πŸ“— PDF


πŸ—’ NPRF: A Neural Pseudo Relevance Feedback Framework for Ad-hoc Information Retrieval
πŸ‘₯ Canjia Li, Yingfei Sun, Ben He, Le Wang, Kai Hui, Andrew Yates, Le Sun, Jungang Xu
πŸ“— PDF


#InformationRetrieval
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Theory
#InformationTheory


πŸ—’ The Effect of Diversity Combining on ISI in Massive MIMO
πŸ‘₯ Arkady Molev Shteiman, Stefano Galli, Laurence Mailaender, Xiao Feng Qi
πŸ“— PDF


πŸ—’ Optimal 1D Trajectory Design for UAV-Enabled Multiuser Wireless Power Transfer
πŸ‘₯ Yulin Hu, Xiaopeng Yuan, Jie Xu, Anke Schmeink
πŸ“— PDF


πŸ—’ Entropy versus variance for symmetric log-concave random variables and related problems
πŸ‘₯ Mokshay Madiman, Piotr Nayar, Tomasz Tkocz
πŸ“— PDF


πŸ—’ A Cascaded Channel-Power Allocation for D2D Underlaid Cellular Networks Using Matching Theory
πŸ‘₯ Yiling Yuan, Tao Yang, Yuedong Xu, Hui Feng, Bo Hu
πŸ“— PDF


πŸ—’ Semi-Finite Length Analysis for Information Theoretic Tasks
πŸ‘₯ Masahito Hayashi
πŸ“— PDF


#InformationTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Learning
#Learning


πŸ—’ Deep Structured Prediction with Nonlinear Output Transformations
πŸ‘₯ Colin Graber, Ofer Meshi, Alexander Schwing
πŸ“— PDF


πŸ—’ On the Geometry of Adversarial Examples
πŸ‘₯ Marc Khoury, Dylan Hadfield-Menell
πŸ“— PDF


πŸ—’ Minimizing Close-k Aggregate Loss Improves Classification
πŸ‘₯ Bryan He, James Zou
πŸ“— PDF


πŸ—’ The Natural Auditor: How To Tell If Someone Used Your Words To Train Their Model
πŸ‘₯ Congzheng Song, Vitaly Shmatikov
πŸ“— PDF


πŸ—’ Learning Beam Search Policies via Imitation Learning
πŸ‘₯ Renato Negrinho, Matthew R. Gormley, Geoffrey J. Gordon
πŸ“— PDF


#Learning
AI Python & arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience


πŸ—’ Decidable Verification of Uninterpreted Programs
πŸ‘₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
πŸ“— PDF


πŸ—’ Structured Parallel Programming Language Based on True Concurrency
πŸ‘₯ Yong Wang
πŸ“— PDF


πŸ—’ Exceptionally Monadic Error Handling
πŸ‘₯ Jan Malakhovski
πŸ“— PDF


πŸ—’ Finite Relation Algebras with Normal Representations
πŸ‘₯ Manuel Bodirsky
πŸ“— PDF


πŸ—’ Bisimulation as path type for guarded recursive types
πŸ‘₯ Rasmus Ejlers MΓΈgelberg, NiccolΓ² Veltri
πŸ“— PDF


#LogicinComputerScience
AI Python & arXiv Channel