- What did Elon change? A comprehensive analysis of Grokipedia
2025/11/12 by Harold Triedman, Triedman, Harold, Alexios Mantzarlis +1 · 13 voices · 4 citations
Computer Science · Social Sciences · #Citation #Focus (optics) #Open Source Software Innovations #Quality (philosophy) #Rewriting #Similarity (geometry) #Text Readability and Simplification #Wikis in Education and Collaboration #cs.SI
- Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
2024/11/22 by Kento Takyu, Takyu, Kento, Kazunori Ueda +1 · 1 citation
Computer Science · #Computer science #Data Mining Algorithms and Applications #Graph #Model-Driven Software Engineering Techniques #Programming language #Rewriting #Semantic Web and Ontologies #Theoretical computer science #cs.PL
- DP-MLM: Differentially Private Text Rewriting Using Masked Language Models
2024/06/30 by Stephen Meisenbacher, Meisenbacher, Stephen, Maulik Chevli +5 · 9 citations
Computer Science · #Artificial intelligence #Computation and Language (cs.CL) #Computer science #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Natural Language Processing Techniques #Natural language processing #Programming language #Rewriting
- Better Together: Unifying Datalog and Equality Saturation
2023/04/10 by Yihong Zhang, Zhang, Yihong, Yisu Remy Wang +13 · 2 voices · 16 citations
Computer Science · #Artificial intelligence #Computer science #Concurrency #Datalog #Formal Methods in Verification #Logic, programming, and type systems #Pointer (user interface) #Programming language #Rewriting #Security and Verification in Computing #Theoretical computer science #Unification
- Automated Code Optimization with E-Graphs
2021/12/26 by Alessandro Cheli, Cheli, Alessandro · 2 voices
Computer Science · Mathematics · #Code generation #Compiler #Compiler construction #Computer science #Distributed and Parallel Computing Systems #Domain (mathematical analysis) #Domain-specific language #Interprocedural optimization #Key (lock) #Logic, programming, and type systems #Loop optimization #Mathematics #Metaprogramming #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Programming language #Rewriting #Theoretical computer science #cs.PL #cs.SC
- Adversarial Stylometry in the Wild: Transferable Lexical Substitution Attacks on Author Profiling
2021/01/01 by Chris Emmery, Ákos Kádár, Grzegorz Chrupała · 1 citation
Computer Science · #Authorship Attribution and Profiling #Hate Speech and Cyberbullying Detection #Topic Modeling #Adversarial system #Stylometry #Computer science #Transferability #Adversarial machine learning #Rewriting #Artificial intelligence #Natural language processing #Substitution (logic) #Software deployment #Information retrieval #Machine learning #Programming language
- Attributing the Bixby Letter using n-gram tracing
2018/10/26 by Jack Grieve, Isobelle Clarke, Emily Chiang +4 · 1 citation
Computer Science · Social Sciences · Psychology · #Authorship Attribution and Profiling #Natural Language Processing Techniques #Names, Identity, and Discrimination Research #Hay #Rewriting #Tracing #Test (biology) #Attribution #History #Computer science #Psychology #Social psychology
- KRust: A Formal Executable Semantics of Rust
2018/04/28 by Feng Wang, Wang, Feng, Fu Song +7 · 3 voices · 1 citation
Computer Science · #Computer science #Distributed systems and fault tolerance #Executable #Formal semantics (linguistics) #Garbage #Garbage collection #Interpreter #Operational semantics #Parallel Computing and Optimization Techniques #Programming language #Rewriting #Rust (programming language) #Security and Verification in Computing #Semantics (computer science) #cs.PL
- A rewriting system for convex optimization problems
2018/01/02 by Akshay Agrawal, Robin Verschueren, Steven Diamond +1 · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Artificial intelligence #Class (philosophy) #Computer science #Constraint Satisfaction and Optimization #Distributed and Parallel Computing Systems #Domain (mathematical analysis) #Mathematical optimization #Mathematics #Modular design #Numerical Methods and Algorithms #Optimization problem #Programming language #Pure mathematics #Regular polygon #Rewriting #Solver #Theoretical computer science #Translation (biology) #Variety (cybernetics)
- An etymological case study on the <PG> and <PG?> vocabulary in Robert Beekes’s new etymological dictionary of Greek: M
2016/01/01 by Filip De Decker · 1 citation
Arts and Humanities · #Linguistics and language evolution #Lexicography and Language Studies #Historical Linguistics and Language Studies #Etymology #Linguistics #Phonology #Vocabulary #Rewriting #Word (group theory) #History #Philosophy #Computer science
- Five Kinds of Rewriting: Appropriation, Influence and the Manuscript History of Early Syriac Literature
2015/12/31 by Kristian S. Heal · 1 citation
Social Sciences · Arts and Humanities · #Historical and Linguistic Studies #Historical, Religious, and Philosophical Studies #Archaeology and Historical Studies #Rewriting #Appropriation #History #Literature #Computer science #Art #Linguistics #Philosophy #Programming language
- Make, put, run : Writing and rewriting three big verbs in the OED
2013/01/01 by Peter Gilliver · 1 citation
Arts and Humanities · Mathematics · #Combinatorics #Computer science #Historical Linguistics and Language Studies #History #Lexicographical order #Lexicography #Lexicography and Language Studies #Linguistics #Mathematics #Natural language processing #Philosophy #Programming language #Rewriting #linguistics and terminology studies
- Graph-Rewriting Automata as a Natural Extension of Cellular Automata
2009/01/01 by Kohji Tomita, Haruhisa Kurokawa, Satoshi Murata · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Algorithm #Automata theory #Automaton #Cellular Automata and Applications #Cellular automaton #Computer science #Confluence #DNA and Biological Computing #Extension (predicate logic) #Graph #Graph rewriting #Mobile automaton #Modular Robots and Swarm Intelligence #Programming language #Rewriting #Theoretical computer science
- The rational numbers as an abstract data type
2007/04/01 by J.A. Bergstra, John V. Tucker · 3 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Rational number #Rewriting #Axiom #Rational function #Mathematics #Algebra over a field #Divisibility rule #Field (mathematics) #Operator (biology) #Ring (chemistry) #Function (biology) #Discrete mathematics #Pure mathematics #Computer science #Programming language
- Meta Reasoning in ACL2
2005/01/01 by Warren A. Hunt, Matt Kaufmann, Robert Bellarmine Krug +3 · 1 citation
Computer Science · #Artificial intelligence #Automated reasoning #Automated theorem proving #Computer science #Deductive reasoning #First-order logic #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Order (exchange) #Programming language #Rewriting #Theoretical computer science
- Ordered chaining calculi for first-order theories of transitive relations
1998/11/01 by Leo Bachmair, Harald Ganzinger · 2 citations
Computer Science · Mathematics · #Algorithm #Artificial intelligence #Automated theorem proving #Backward chaining #Binary relation #Chaining #Combinatorics #Computer science #Context (archaeology) #Discrete mathematics #Forward chaining #Inference #Inference engine #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Programming language #Rewriting #Semantic Web and Ontologies #Theoretical computer science #Transitive relation
- Computation with Finitely Presented Groups
1994/01/28 by Charles C. Sims · 5 citations
Computer Science · Biochemistry, Genetics and Molecular Biology · Mathematics · #semigroups and automata theory #DNA and Biological Computing #Cellular Automata and Applications #Coset #Rewriting #Quotient #Abelian group #Automaton #Computation #Mathematics #Algebra over a field #Group (periodic table) #Discrete mathematics #Pure mathematics #Computer science #Theoretical computer science #Programming language #Algorithm #Physics
- All from one, one for all: on model checking using representatives
1993/01/01 by Doron Peled · 1 citation
Computer Science · Mathematics · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems #Model checking #Computer science #Equivalence relation #Rewriting #Equivalence (formal languages) #Abstraction model checking #Graph #Theoretical computer science #Sequence (biology) #State (computer science) #Algorithm #Finite-state machine #Class (philosophy) #Discrete mathematics #Mathematics #Programming language #Artificial intelligence
- Remaking Myth and Rewriting History: Cult Tradition in Pindar's Ninth Nemean
1992/01/01 by Thomas K. Hubbard · 2 citations
Arts and Humanities · #Art #Computer science #Cult #Folklore, Mythology, and Literature Studies #History #Literature #Mythology #Ninth #Philosophy #Rewriting #Theology
- Pure functions in APL and J
1991/07/01 by Edward Cherlin · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Combinatory logic #Rewriting #Programming language #Expression (computer science) #Completeness (order theory) #Computer science #Conjecture #Sequence (biology) #Algebra over a field #Mathematics #Discrete mathematics #Pure mathematics
- The Citizenship of John Perdicaris
1941/12/01 by Harold E. Davis · 2 citations
Social Sciences · #Colonialism, slavery, and trade #American Constitutional Law and Politics #Maritime Security and History #Citizenship #Download #Narrative #Rewriting #Political science #History #Library science #Law #Art #Literature #Computer science #World Wide Web #Politics
- Notes on the Kwakiutl Vocabulary
1931/04/01 by Franz Boas · 1 citation
Social Sciences · #Law in Society and Culture #Public Spaces through Art #Download #Vocabulary #Library science #Rewriting #Linguistics #Computer science #World Wide Web #Philosophy #Programming language