• Bloqqer

  • Referenced in 30 articles [sw09578]
  • formulas (QBF) provide a powerful framework for encoding problems from various application domains, not least ... represented. However, the translation to processable QBF encodings is in general not unique...
  • CRYPTIM

  • Referenced in 28 articles [sw02442]
  • break the key, i.e. to guess the encoding walk. In fact the quality is good ... affine type whose vertices (messages) and walks (encoding tools) could be both naturally identified with...
  • GNMT

  • Referenced in 27 articles [sw26579]
  • deep LSTM network with 8 encoder and 8 decoder layers using attention and residual connections ... decoder to the top layer of the encoder. To accelerate the final translation speed...
  • Beluga

  • Referenced in 26 articles [sw01321]
  • also for capture-avoiding substitution. While HOAS encodings have played an important role in mechanizing ... been difficult to incorporate HOAS encodings directly into functional programming...
  • RandNLA

  • Referenced in 22 articles [sw41749]
  • applied mathematics. An m × n matrix can encode information about m objects (each described ... positive-definite matrix can encode the correlations between all pairs of n objects...
  • IsaPlanner

  • Referenced in 30 articles [sw02047]
  • interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used...
  • InsEnc

  • Referenced in 21 articles [sw06181]
  • INSENC: This package accompanies ”Finding regular insertion encodings for permutation classes”. In that paper ... permutations has a regular insertion encoding (which INSENC will determine as soon as you type...
  • Cayenne

  • Referenced in 29 articles [sw09686]
  • suffice. It is also powerful enough to encode predicate logic at the type level, allowing...
  • Sugar

  • Referenced in 27 articles [sw09758]
  • Constraint Solver. Constraint Satisfaction Problem (CSP) is encoded to a Boolean CNF formula...
  • FPINNs

  • Referenced in 27 articles [sw40570]
  • neural networks (NNs) with the PDEs explicitly encoded into the NN using automatic differentiation, while...
  • CSP-prover

  • Referenced in 16 articles [sw11465]
  • well as the semantics of CSP is encoded, i.e., CSP-Prover provides a deep encoding ... large parts of the encoding for other CSP models. For instance, merely...
  • HOLyHammer

  • Referenced in 26 articles [sw11553]
  • AI/ATP service for formal (computer-understandable) mathematics encoded in the HOL Light system. The service...
  • MOPS

  • Referenced in 23 articles [sw10117]
  • identify rules of safe programming practice, encode them as safety properties, and verify whether these...
  • Binder

  • Referenced in 15 articles [sw26750]
  • distributed system. Most existing securitylanguages encode security statements as schematized data structures,such as ACLs ... openlogic-based security language that encodes security statements ascomponents of communicating distributed logic programs. Binder...
  • CCLS

  • Referenced in 20 articles [sw36049]
  • extensive applications. Weighted MAX-SAT instances encoded from real-world applications may be very large...
  • iProt-Sub

  • Referenced in 14 articles [sw27604]
  • accuracy. Features used by iProt-Sub are encoded by 11 different sequence encoding schemes, including...
  • SeaHorn

  • Referenced in 19 articles [sw18274]
  • semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise...
  • dReach

  • Referenced in 19 articles [sw20164]
  • analysis tool for nonlinear hybrid systems. It encodes reachability problems of hybrid systems to first...
  • FFmpeg

  • Referenced in 19 articles [sw21457]
  • leading multimedia framework, able to decode, encode, transcode, mux, demux, stream, filter and play pretty...
  • VAMPnets

  • Referenced in 19 articles [sw32927]
  • using neural networks, dubbed VAMPnets. A VAMPnet encodes the entire mapping from molecular coordinates...